Results for 'José da Silva Lisboa Cairu'

961 found
Order:
  1.  10
    Constituição moral e deveres do cidadão com exposição da moral pública conforme o espírito da Constituição do Império.José da Silva Lisboa Cairu - 1998 - João Pessoa: Editora Universitária, UFPB. Edited by Anoar Aiex.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. O problema da guerra.José da Silva Pacheco - 1951 - São Paulo,:
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  33
    Mirja Hartimo* Husserl and Mathematics.Jairo José da Silva - 2022 - Philosophia Mathematica 30 (3):396-414.
    1. INTRODUCTIONIt has been some time now since the philosophical community has learned to appreciate Husserl’s contribution to the philosophies of logic, mathematics, and science in general, despite still some prejudices and misinterpretations in certain academic circles incapable of reading Husserl beyond the incompetent and malicious review which Frege wrote in 1894 of his Philosophie der Arithmetik (PA) [1891/2003], hereafter Hua XII.Husserl’s philosophy of mathematics, in particular, has been the subject of many articles and books and has attracted the attention (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  24
    A organização eclesiástica da Comunidade Cristã Nova Esperança: entre acolhimentos e desacolhimentos.Rubio José Ferreira & Moizes Generino da Silva - 2015 - Horizonte 13 (40):2292-2307.
    The inclusive churches arise from the need of a minority and excluded group of conventional churches to practice their religiosity in a free and accepted sexual way. Then, we need to ask what the models of institutional structuration in these inclusive churches are, and also the extent to which the ecclesiastical structures can propitiate the ‘mission’ of ‘welcome’ gays, lesbians, transvestite and transsexuals. The research was proposed from bibliographical sources, visiting the cults of Comunidade Cristã Nova Esperança, and the interviews (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  7
    Symposium: How Was Caribbean Ethics Made Under Enslavement?Hanétha Vété-Congolo, José Cossa & Denise Ferreira da Silva - 2024 - Journal of World Philosophies 9 (1).
    Vété-Congolo’s challenges us to consider alternative ways of understanding the self and the world outside of racial and other hierarchies. One such alternative she examines in this symposium is formed around the Creole term “moun” (‘human person’) and the phrase “tout moun sé moun” (“all human persons are human persons”). Developed under enslavement on Caribbean plantations, this radical epistemic resistance drove, she argues, Caribbean Pawòl or Caribbean Ethics. Vété-Congolo’s respondents José Cossa and Denise Ferreira da Silva, agree that this (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Análise cultural-midiática no telejornalismo do Oeste Catarinense.Franscesco Flávio da Silva & Flavi Ferreira Lisboa Filho - 2019 - Logos: Comuniação e Univerisdade 25 (2):99-114.
    Este apresenta como dois telejornais de Chapecó – Santa Catarina, representam os sujeitos e suas interações da região Oeste do referido Estado em seus textos, contribuindo para (re)configurar uma identidade regional. A incidência da globalização no contexto histórico, político e cultural tornam a região uma zona de tensão identitária. Neste sentido, buscamos nos Estudos Culturais suporte teórico e metodológico para realizar uma análise cultural-midiática que desse conta do nosso propósito investigativo. Pudemos perceber a diferença das representações entre os telejornais, assim (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Hiperconsumo E coisificação da natureza: A ética do decrescimento no combate ao desperdício de alimentos.Leônio José Alves da Silva - 2015 - Revista Fides 6 (2).
    HIPERCONSUMO E COISIFICAÇÃO DA NATUREZA: A ÉTICA DO DECRESCIMENTO NO COMBATE AO DESPERDÍCIO DE ALIMENTOS.
    No categories
     
    Export citation  
     
    Bookmark  
  8. Husserl's two notions of completeness.Jairo josé Da Silva - 2000 - Synthese 125 (3):417 - 438.
    In this paper I discuss Husserl's solution of the problem of imaginary elements in mathematics as presented in the drafts for two lectures hegave in Göttingen in 1901 and other related texts of the same period,a problem that had occupied Husserl since the beginning of 1890, whenhe was planning a never published sequel to Philosophie der Arithmetik(1891). In order to solve the problem of imaginary entities Husserl introduced,independently of Hilbert, two notions of completeness (definiteness in Husserl'sterminology) for a formal axiomatic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  9. Husserl and Hilbert on completeness, still.Jairo Jose da Silva - 2016 - Synthese 193 (6):1925-1947.
    In the first year of the twentieth century, in Gottingen, Husserl delivered two talks dealing with a problem that proved central in his philosophical development, that of imaginary elements in mathematics. In order to solve this problem Husserl introduced a logical notion, called “definiteness”, and variants of it, that are somehow related, he claimed, to Hilbert’s notions of completeness. Many different interpretations of what precisely Husserl meant by this notion, and its relations with Hilbert’s ones, have been proposed, but no (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  10. Introduction.Jairo da Silva & Jairo José da Silva - 2017 - In Jairo José da Silva, Mathematics and its Applications: A Transcendental-Idealist Perspective. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  17
    (1 other version)O perspectivismo nietzscheano enquanto rigor hermenêutico.José Roberto Carvalho da Silva - 2016 - Cadernos Do Pet Filosofia 17 (14):01-10.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Wittgenstein e a imanência da Arte na Ética.José Fernando da Silva - 2015 - Revista de Filosofia Moderna E Contemporânea 3 (1):49-67.
    Esse artigo mostra o significado da unicidade da ética e da estética no Tractatus Logico-Philosophicus. Primeiro, ele apresenta os principais aspectos ética tractatiana: que ela não hierarquiza fatos, que ela é eudemonista, e que ela não propõe qualquer finalidade externa às ações do sujeito ético. Segundo, ele mostra que a obra de arte é a expressão da vida de um ponto de vista ético, ou seja, ela é a expressão do significado da vida de um ponto de vista da eternidade. (...)
     
    Export citation  
     
    Bookmark  
  13.  36
    Husserl's Philosophy of Mathematics.Jairo José da Silva - 1993 - Manuscrito: Revista Internacional de Filosofía 16 (2):121-148.
  14. Luis Castro Leiva y la importancia del 23 de enero de 1958: reflexiones sobre un discurso.José Luis Da Silva - 2006 - In Luis Castro Leiva & Arturo Serrano, Para leer a Luis Castro Leiva. Caracas: Universidad Católica Andrés Bello.
  15. (1 other version)O Trabalho Escolar Nos Cursos De Engenharia: Suas Funções Como Instrumento Formativo.José da Silva - 1987 - Educação E Filosofia 2:105-107.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  34
    Poincaré on mathematical intuition. A phenomenological approach to Poincaré's philosophy of arithmetic.Jairo José Da Silva - 1996 - Philosophia Scientiae 1 (2):87-99.
  17. Husserl on Geometry and Spatial Representation.Jairo José da Silva - 2012 - Axiomathes 22 (1):5-30.
    Husserl left many unpublished drafts explaining (or trying to) his views on spatial representation and geometry, such as, particularly, those collected in the second part of Studien zur Arithmetik und Geometrie (Hua XXI), but no completely articulate work on the subject. In this paper, I put forward an interpretation of what those views might have been. Husserl, I claim, distinguished among different conceptions of space, the space of perception (constituted from sensorial data by intentionally motivated psychic functions), that of physical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  26
    A identidade no mundo das religiões: a região fronteiriça.José Maria da Silva - 2004 - Horizonte 3 (5):142-151.
    O tema em questão aborda, com base nas reflexões realizadas pelos teólogos inclusivistas abertos, as relações existentes de incompatibilidade ou compatibilidade entre a identidade religiosa cristã e a abertura ao mundo pluralista religioso pós-moderno. Constantemente presentes, como pilares do arcabouço teórico utilizado, aparecerão as reflexões daqueles estudiosos que, cônscios da realidade plural do mundo religioso contemporâneo, e não contentes com uma identidade amarrada somente à tradição e aos dogmas iniciais, desbravam um caminho ao mesmo tempo aberto às demais religiões e (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19. Beyond Leibniz : Husserl's vindication of symbolic knowledge.Jairo José da Silva - 2010 - In Mirja Hartimo, Phenomenology and mathematics. London: Springer.
  20.  20
    Nos Processos Formativos da Cibercultura, o Encontro com as Matemáticas dos Povos Tradicionais.Inara Borges Da Silva José - 2018 - Odeere 3 (5):186.
    O presente relato nasce da participação no curso de extensão “Educação e Diversidade: dialogando com os saberes dos povos tradicionais”, realizado pela Universidade do Estado do Rio de Janeiro – UERJ, oferecido pelo grupo interinstitucional África. O relato tem como objetivo refletir sobre o encontro com as matemáticas dos povos tradicionais, proporcionado pelo curso, e como essas matemáticas podem colaborar na formação de licenciandos em matemática dentro de uma matriz étnico-racial.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  26
    Escala multidimensional aplicada aos estudos de apreciação musical1.Raquel Cocenas da Silva, José Lino Oliveira Bueno, Emmanuel Bigand & Paul Molin - 2009 - Paideia (Misc) 19 (43):153-158.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22. Structures.Jairo da Silva & Jairo José da Silva - 2017 - In Jairo José da Silva, Mathematics and its Applications: A Transcendental-Idealist Perspective. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  23. Structuralism and the Applicability of Mathematics.Jairo José da Silva - 2010 - Global Philosophy 20 (2-3):229-253.
    In this paper I argue for the view that structuralism offers the best perspective for an acceptable account of the applicability of mathematics in the empirical sciences. Structuralism, as I understand it, is the view that mathematics is not the science of a particular type of objects, but of structural properties of arbitrary domains of entities, regardless of whether they are actually existing, merely presupposed or only intentionally intended.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  98
    (1 other version)The Axioms of Set Theory.Jairo José Da Silva - 2002 - Axiomathes 13 (2):107-126.
    In this paper I argue for the view that the axioms of ZF are analytic truths of a particular concept of set. By this I mean that these axioms are true by virtue only of the meaning attached to this concept, and, moreover, can be derived from it. Although I assume that the object of ZF is a concept of set, I refrain from asserting either its independent existence, or its dependence on subjectivity. All I presuppose is that this concept (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  25.  37
    A integração entre razão E fé em agostinho.Adelmo José da Silva - 2003 - Veritas – Revista de Filosofia da Pucrs 48 (3):337-342.
    Agostinho ocupa um papel importante como ponte entre a filosofia antiga e a Idade Média. Sobre Aristóteles, mostrou conhecer as obras Categorias, Tópicos e Da interpretação, traduzidas por Mário Vitorino. Não obstante isso, Agostinho faz uso muito mais intenso da filosofia de Platão e de Plotino. Assim, este pensador cristão considerou possível conciliar preocupação cristã com reflexão filosófica a partir da tradição grega, bastando somente, neste processo, a realização de algumas correções. Deste modo, apresenta-se a forma como Agostinho incorporou a (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  31
    A dominação tecnológica E a Serena resistência em Heidegger.José Roberto Carvalho Da Silva - 2018 - Cadernos Do Pet Filosofia 9 (17):90-99.
    O presente artigo tem como objetivo apontar a metafísica da época das imagens de mundo em Heidegger, sua consumação no mundo tecnológico e sua possível superação através da experiência do pensamento afinado na serenidade enquanto relação do homem com a Região do ser. Observar-se que a época das imagens de mundo se fundamenta na noção de sujeito, que é a ascensão moderna do homem ao posto de subjectum da realidade. Enquanto subjectum, o homem representa o mundo como objeto passível de (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Aproximación al concepto deAutonomía en la Tercera CríticA KANTIANa.José Luís Da Silva - 2005 - Episteme 25 (2):1-14.
     
    Export citation  
     
    Bookmark  
  28.  28
    A coerção emKant e Kelsen - um estudo preliminar.José Nicolau Heck - Sidney A. da Silva - 2000 - Philósophos - Revista de Filosofia 5 (1):95-118.
    A concepção Kantiana do direito e a teoria pura do direito de Kelsen se destacam pela racionalidade com que a respectiva posição normativa é concebida e articulada.A presente contribuição examina o peso teórico que a coercibilidade jurídica adquire em ambas as ciências do direito.O artigo objetiva estabelecer as fronteiras programáticas entre o formalismo jurídico dos dois filósofos do direito.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. Apresentação.José Lourenço Pereira da Silva - 2014 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 12:53-56.
    No categories
     
    Export citation  
     
    Bookmark  
  30.  38
    Breve biografia do líder leigo católico mexicano-americano césar chavez.Flávio José Rocha da Silva - 2019 - Revista de Teologia 12 (22):125-126.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  7
    Construir nuevas sociedades: ética y economía.José Luis da Silva (ed.) - 2016 - Caracas: Universidad Católica Andrés Bello.
  32. Nietzsche e a educação.Vagner da Silva, José Weber & Samuel Mendonça - 2014 - Filosofia E Educação 6 (1):1-5.
    Editorial para o dossiê Nietzsche e a Educação.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  24
    Principais influências na ontologia platônica dos diálogos intermediários.José Lourenço Pereira da Silva - 2010 - Philósophos - Revista de Filosofia 15 (1):119-145.
    The platonic ontology as known through the Phaedo and Republic is centered on the hypothesis of the intelligible Forms, that is, the platonic Socrates' belief that there are ontologically independent entities such as "the beautiful itself", "the good itself", "the equal itself" etc., of which all empirical things participate thereby receiving the properties they exhibit. Clearly, the main philosophical influences on this doctrine are pre-Socratic philosophy, the sophistic and Socrates' thought. The aim of this paper is to present which ideas (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Mathematics and its Applications: A Transcendental-Idealist Perspective.Jairo José da Silva - 2017 - Cham: Springer Verlag.
    This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal science, mathematical ontology: what (...)
  35.  5
    Filosofia e Agremiações Literárias No Ceará da Segunda Metade Do Século XIX.Francisco José da Silva - 2024 - Revista Dialectus 33 (33):312-322.
    Na segunda metade do século XIX, o Ceará busca a modernização econômico-social e cultural, seguindo o modelo europeu. No entanto, a sociedade cearense ainda lutava contra as mazelas da seca, a fome e a peste (varíola) e carecia de uma infraestrutura educacional e acadêmica. A inserção da Filosofia em nosso Estado se dará inicialmente nas instituições religiosas católicas (Seminários), num segundo momento, nos meios eruditos, nos periódicos das agremiações literárias em atividade. Nestas agremiações se propagavam os movimentos filosóficos predominantes do (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  14
    Ricœur em Coimbra: receção filosófica da sua obra.Maria Luísa Portocarrero Ferreira da Silva & José Beato (eds.) - 2016 - Coimbra: Imprensa da Universidade de Coimbra.
    Por ocasião do centenário de nascimento de Paul Ricoeur, a Universidade de Coimbra juntou num mesmo volume um conjunto de estudos académicos em tributo a este pensador. Reuniram-se deste modo comunicações de professores, de novos investigadores e de estudantes de doutoramento em redor de temas que marcaram a receção da obra e do filósofo francês em Coimbra. Cada capítulo do presente livro demonstra a fecundidade de um pensamento que, enraizado na “tradição reflexiva”, assumindo a mensagem das “filosofias da existência”, articulando (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Husserl's Conception of Logic.Jairo José da Silva - 1999 - Manuscrito: Revista Internacional de Filosofía 22 (2):367-397.
     
    Export citation  
     
    Bookmark   5 citations  
  38.  21
    Teoria Contempor'nea da Guerra Justa: uma entrevista com Helen Frowe.Davi Jose de Souza da Silva - 2014 - Ethic@ - An International Journal for Moral Philosophy 13 (2):233-251.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  41
    Negros, morenos e quilombolas: resistência e mobilização étnico-política das comunidades quilombolas do Arrojado (Portalegre/RN) e de Queimadas.José Glebson Vieira, Maria Santos & Maria José Da Silva Souza - 2020 - Odeere 5 (9):251.
    Este artigo analisa os processos de resistência negra em duas comunidades quilombolas, a do Arrojado em Portalegre/RN e a de Queimadas em Currais Novos/RN. A discussão aqui proposta pretende relacionar as ideias de África, exílio e sertão ao contexto da escravidão e do colonialismo e, por conseguinte, compreender os usos e apropriações de categorias identitárias, como quilombolas, dentro de processos políticos de afirmação étnica e do enfrentamento ao racismo. A intenção é discorrer os efeitos da luta pelo reconhecimento étnico na (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. A dupla hélice do DNA: história revisitada à luz da epistemologia kuhniana // DOI: 10.18226/21784612.v22.n3.11.Nyuara Araújo da Silva Mesquita, José Firmino de Oliveira Neto, Aline Prado de Oliveira & Christianne de Lima Borges Moraes - 2017 - Conjectura: Filosofia E Educação 22 (3):598-616.
    O estudo dos fatos e episódios científicos é importante no sentido de possibilitar a compreensão do desenvolvimento das Ciências em contextos tanto do ensino, em diversos níveis, quanto da pesquisa. No entanto, a leitura dessa construção histórica precisa considerar visões de Ciência que superem as perspectivas lineares e neutras sobre a construção do processo de produção científica. Sob tal perspectiva, propõe-se nesse artigo uma releitura do movimento de elaboração do modelo da dupla hélice do DNA a partir do aporte epistemológico (...)
    No categories
     
    Export citation  
     
    Bookmark  
  41. Notes on authors 379.Jairo Jose da Silva - 2000 - Manuscrito 23.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  42.  39
    Burnout and Stress Measurement in Police Officers: Literature Review and a Study With the Operational Police Stress Questionnaire.Cristina Queirós, Fernando Passos, Ana Bártolo, António José Marques, Carlos Fernandes da Silva & Anabela Pereira - 2020 - Frontiers in Psychology 11.
    Research has demonstrated that policing is a stressful occupation and has a negative impact on police officers’ mental and physical health, performance, and interactions with citizens. Mental health at the workplace has become a concern due to the costs of depression, anxiety, burnout, and even suicide, which is high among police officers.To ameliorate occupational health, it is crucial therefore to identify stress and burnout levels on a regular basis. However, the instruments frequently used to measure stress have not valorized the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  16
    (1 other version)Science and the Lebenswelt on Husserl’s Philosophy of Science.Jairo José da Silva - 2012 - Phainomenon 25 (1):83-107.
    I present and discuss in this paper Husserl’s investigation of the genesis of the modem conception of empirical reality as carried out in his last work The Crisis of European Sciences and Transcendental Phenomenology. The goal of Husserl’s genetic investigation was to uncover the rnany layers of constitution that frorn the life-world (the Lebenswelt) the modem scientific conception of Nature was originated and to point out the need to ground the scientific project of rnodemity in the life-world so as to (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  48
    Jusnaturalismo,Hobbes e dialética.José Nicolau Heck - Sidney A. da Silva - 2000 - Philósophos - Revista de Filosofia 5 (2):81-110.
    Thomas Hobbes é um dos fundadores da moderna concepção de poder político.A instituição do Estado tem no pensador inglês,uma de suas vertentes racionais.O trabalho examina as raízes jusnaturalistas do teórico político ingles e assume a posição de que o legado hobbesiano não é dialetizável. .
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  18
    Liberdade como expressão de perfeição em Spinoza.José Fernando Da Silva - 2015 - Cadernos Espinosanos 32:99.
    O artigo examina a concepção spinozista de liberdade. Ele mostra que ela é inseparável das noções de realidade e perfeição. Primeiro, o artigo examina a concepção de essência que a obra de Spinoza propõe. Em seguida, ele mostra o sentido que Spinoza atribui à noção de perfeição e seu vínculo interno com a noção de realidade. Na conclusão, mostra como a liberdade humana é expressão da plenitude da realidade e perfeição do indivíduo.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  33
    Narrativas dos/as jovens do Sertão de Pernambuco sobre preconceito e discriminação racial no contexto escolar.Roseane Amorim Da Silva, Maria Márcia Da Silva, José Willian Da Silva & Elayne Barbosa Dos Santos - 2021 - Odeere 6 (1):138-162.
    Neste estudo refletimos sobre situações de racismo narradas por jovens moradores/as do Sertão de Pernambuco. O mesmo foi realizado de modo online devido a pandemia da Covid-19. Realizamos duas etapas, na primeira 127 jovens responderam a um formulário sobre a temática em questão; na segunda, realizamos quatro rodas de conversas, em que participaram discentes e docentes de uma escola pública do Pajeú. As informações construídas foram analisadas com base na análise temática. O racismo está presente em todos os ambientes da (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  15
    The Transcendental Foundations of Science.Jairo José da Silva - 2018 - Phainomenon 27 (1):5-22.
    It is a philosophical naiveté to believe that the object of science is some ready-made world out there that the scientist, free of any preconceptions, simply stumbles upon. Of course, there is a world out there, given to us through the senses, but that must be intentionally elaborated to become a world for us and a possible object of scientific inquiry. The intentional constitution of the world of science supports and “justifies” a priori conceptions about the empirical world, even those (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  30
    Godel and transcendental phenomenology.Jairo Jose da Silva - 2005 - Revue Internationale de Philosophie 4:553-574.
  49. "Weltanschauungen" e modos-de-ser dos entes intramundanos: o conteúdo concreto do "In-der-welt-sein" do "Dasein".José Fábio da Silva Albuquerque - 2012 - Revista Portuguesa de Filosofia 68 (3):461-482.
    Resumo O presente artigo trata do conceito heideggeriano In-der-Welt-Sein. O objetivo, por sua vez, é o esclarecimento do significado e da função do artigo “der” que encontramos na referida expressão. Para tanto, o artigo foca predominantemente nos modos-de-ser dos entes intramundanos e no fenômeno da Weltanschauung, tomando-os como os elementos fundamentais para uma compreensão satisfatória e global do evento do In-der-Welt-Sein, enquanto sinônimo geral da existência do Dasein. Desta forma, tanto os modos-de-ser dos entes intramundanos como a estrutura da Weltanschauung (...)
    No categories
     
    Export citation  
     
    Bookmark  
  50.  30
    Decidable and undecidable fragments in First order logic.Ricardo José Da Silva & Franklin Galindo - 2017 - Apuntes Filosóficos 26 (50):90-113.
    The present paper has three objectives: Presenting an actualization of a proof of the decidability of monadic predicates logic in the contemporary model theory context; Show examples of decidable and undecidable fragments inside First order logic, offering an original proof of the following theorem: Any formula of First of order logic is decidable if its prenex normal form is in the following form: ∀x1,…,∀xn∃y1,…,∃ymφ; Presenting a theorem that characterizes the validity of First order logic by the tautologicity of Propositional logic, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 961